Feeds to Scour
SubscribedAll
Scoured 9575 posts in 4.56 s
Looking for a Bulletproof Photo Backup Strategy (Unraid โ†’ Unraid? 3โ€‘2โ€‘1 Rule?)
reddit.comยท22hยท
Discuss: r/homelab
๐Ÿ’ฟBackup Strategies
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.orgยท1d
โš”๏ธLean Tactics
Preview
Report Post
Teycir/Timeseal: Time-locked encryption vault with Dead Man's Switch. Send encrypted messages that unlock at a specific date or auto-release if you go silent. AES-256, split-key crypto, ephemeral seals. Perfect for crypto inheritance, whistleblowing, scheduled releases. Self-hostable.
github.comยท12hยท
Discuss: Hacker News
๐Ÿ”Archive Encryption
Preview
Report Post
Prompts are becoming Code, but we still treat them like Strings
dev.toยท20hยท
Discuss: DEV
โšกProof Automation
Preview
Report Post
10 storage technologies that want to replace hard drives
techradar.com
ยท13h
๐ŸŒˆHolographic Archives
Preview
Report Post
My First Step into Security: Building a Zero-Knowledge Vault
blog.thnkandgrow.comยท1d
๐Ÿ”Archive Encryption
Preview
Report Post
What I Learned Building a Storage Engine That Outperforms RocksDB
tidesdb.comยท5hยท
Discuss: Hacker News, r/programming
๐Ÿฆ€Rusty Databases
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.orgยท8h
๐Ÿ’งLiquid Types
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.krยท16h
โœ…Formal Methods
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ›๏ธAgda
Preview
Report Post
flyspeck/flyspeck: The formal proof of the Kepler conjecture
github.comยท13hยท
Discuss: Hacker News
ฮปLambda Formalization
Preview
Report Post
Everything Is a Number
francescocarlucci.comยท1dยท
Discuss: Hacker News
๐ŸŽฏArithmetic Coding Theory
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.comยท1dยท
Discuss: r/LLM
๐Ÿ”ฎProof Search
Preview
Report Post
Validating AI output with consistency checks & formal proofs
johndcook.comยท3dยท
Discuss: Hacker News, Hacker News
๐Ÿ‘‘Isabelle
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.ioยท1d
๐Ÿ”ฌLean
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.ioยท11hยท
Discuss: DEV
๐Ÿ”Capability Systems
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.acยท3d
๐ŸคPaxos Consensus
Preview
Report Post
Building the World's First Cryptographic Audit Trail for MetaTrader: A Deep Technical Dive
dev.toยท20hยท
Discuss: DEV
๐ŸŒณArchive Merkle Trees
Preview
Report Post
Automating What Backblaze Lifecycle Rules Don't Do Instantly
blog.tymscar.comยท2dยท
Discuss: Lobsters, Hacker News, r/NixOS, r/homelab
๐Ÿ”„Sync Engine
Preview
Report Post
Securing Legacy Android Apps: Modern Encryption Practices
thenewstack.ioยท1d
๐Ÿ”Cryptographic Archaeology
Preview
Report Post